University of Edinburgh School of Informatics - PDFSEARCH.IO - Document Search Engine

University of Edinburgh School of Informatics
Results: 305

#	Item
111	Tegola Tiered Mesh Network Testbed in Rural Scotland Giacomo Bernardi, Peter Buneman and Mahesh K. Marina School of Informatics The University of Edinburgh, UK ABSTRACT Add to Reading List Source URL: minux.it Language: English - Date: 2008-09-19 18:03:26 Wireless networking Wireless Computing Technology Mesh networking Backhaul Wireless network Fixed wireless Wireless community network Internet access Wireless LAN Sensor node
112	Chinese Poetry Generation with Recurrent Neural Networks Xingxing Zhang and Mirella Lapata Institute for Language, Cognition and Computation School of Informatics, University of Edinburgh 10 Crichton Street, Edinburgh EH Add to Reading List Source URL: emnlp2014.org Language: English - Date: 2014-10-16 05:19:54
113	Directed Containers as Categories Danel Ahman LFCS, School of Informatics, University of Edinburgh, United Kingdom Tarmo Uustalu Add to Reading List Source URL: cs.ioc.ee Language: English - Date: 2016-04-01 16:32:48
114	Higher Order Rippling in IsaPlanner Lucas Dixon and Jacques Fleuriot School of Informatics, University of Edinburgh, Appleton Tower, Crighton Street, Edinburgh, EH8 9LE, UK {lucas.dixon, jacques.fleuriot}@ed.ac.uk Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-01-25 09:28:59 Automated theorem proving Heuristics Rippling Economy Money E-commerce IsaPlanner Reference Ripple Mathematical proof Annotation Planner
115	Longitudinal study of ASR performance on ageing Voices Ravichander Vipperla, Steve Renals, Joe Frankel The Centre for Speech Technology Research, School of Informatics Edinburgh University, UK Abstract Add to Reading List Source URL: www.cstr.ed.ac.uk Language: English - Date: 2008-11-03 11:00:30
116	Robustness and device independence of verifiable blind quantum computing Alexandru Gheorghiu,1 Elham Kashefi,1, 2 and Petros Wallden1 2 1 School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 Add to Reading List Source URL: 2015.qcrypt.net Language: English - Date: 2015-09-14 07:34:45
117	Augmentation of adaptation data Ravichander Vipperla, Steve Renals, Joe Frankel The Centre for Speech Technology Research, School of Informatics, University of Edinburgh , , joe@ Add to Reading List Source URL: www.cstr.ed.ac.uk Language: English - Date: 2010-10-06 17:07:38
118	UNSUPERVISED NEURAL NETWORK BASED FEATURE EXTRACTION USING WEAK TOP-DOWN CONSTRAINTS Herman Kamper1,2 , Micha Elsner3 , Aren Jansen4 , Sharon Goldwater2 1 CSTR and 2 ILCC, School of Informatics, University of Edinburgh, Add to Reading List Source URL: www.cstr.ed.ac.uk Language: English - Date: 2015-09-29 11:06:25 Machine learning Artificial neural networks Artificial intelligence Learning Applied mathematics Computational neuroscience Cybernetics Computational statistics Autoencoder Speech recognition Backpropagation Supervised learning
119	Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic Lucas Dixon and Alan Smaill and Alan Bundy School of Informatics, University of Edinburgh, UK {L.Dixon, A.Smaill, A.Bundy}@ed.ac.uk Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-10-02 09:04:19
120	IsaPlanner 2: A Proof Planner for Isabelle Lucas Dixon and Moa Johansson School of Informatics, University of Edinburgh Abstract. We describe version 2 of IsaPlanner, a proof planner for the Isabelle proof assistant and Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-02-25 13:12:10

UPDATE